Use new name w32gui.h

diff --git a/src/dispextern.h b/src/dispextern.h
index 98bbb5e0650376f0e7a92a336ee94608291a5265..a1ed2986ba136a362c3f4bb2b48baab16b0f86da 100644 (file)
--- a/src/dispextern.h
+++ b/src/dispextern.h
@@ -34,7 +34,7 @@ extern int display_completed;
 #endif
 
 #ifdef HAVE_NTGUI
-#include "win32.h"
+#include "w32gui.h"
 #endif
 
 #ifdef HAVE_FACES